Kimi, el asistente inteligente de la cara oscura de la luna, anuncia el lanzamiento de su nuevo modelo de razonamiento matemático k0-math. El modelo k0-math ha demostrado un rendimiento excepcional en varias pruebas de referencia de habilidades matemáticas, superando a los modelos o1-mini y o1-preview de la serie o1 de OpenAI en cuatro pruebas de referencia matemáticas: exámenes de secundaria, exámenes de acceso a la universidad, exámenes de ingreso a la universidad de posgrado y MATH, que incluye problemas de concursos de nivel principiante.